In Memory of Mike Arnold

Mike Anderson

Mike Holcombe

The generalized stream X-machines (stream X-machines with basic functions replaced by relations and having as output, strings of symbols rather than single symbols) with output delimiter (any output string has at the right end side a special delimiter) are introduced. It is proved that testing methods similar to those already developed for ordinary determi-nistic stream X-machines may be applie...

Mike Greenberg

Mike Greenberg Harvard Medical School Mike Greenberg grew up in Brooklyn, New York, but has lived and worked in the Boston area for the last 30 years. He is currently the Nathan Marsh Pusey Professor of Neurobiology and Chair of the Department of Neurobiology at Harvard Medical School. His scientific passion is to understand how genes and the environment (nature and nurture) are intertwined at ...

Mike Levine

Mike Levine is at the University of California, Berkeley where he is coDirector of the newly formed Center for Integrative Genomics. He obtained his Ph.D. from Yale University with Alan Garen studying steroid-regulated gene expression in Drosophila larvae. As a Jane Coffin Childs fellow he did postdoctoral research with Walter Gehring at the University of Basel in 1982. After a second short pos...

Requirements Engineering in MIKE

Sowohl bei der Entwicklung konventioneller Software als auch bei der Entwicklung wissensbasierter Systeme fehlen z.Z. systematische Ansätze, Anforderungen an das zu entwickelnde Produkt „ingenieurmäßig“ zu erheben. Die Probleme, mit denen sich der Software Engineer konfrontiert sieht, ähneln denen der Wissensakquisition im Knowledge Engineering. Der an der Universität Karlsruhe am Institut AIFB...